Generalizing Quantification in Fuzzy Description Logics

Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics

Reasoning and Quantification in Fuzzy Description Logics

In this paper we introduce reasoning procedures for ALCQF , a fuzzy description logic with extended qualified quantification. The language allows for the definition of fuzzy quantifiers of the absolute and relative kind by means of piecewise linear functions on N and Q ∩ [0, 1] respectively. In order to reason about instances, the semantics of quantified expressions is defined based on recently...

Hintikka-Style Semantic Games for Fuzzy Logics

Various types of semantics games for deductive fuzzy logics, most prominently for Lukasiewicz logic, have been proposed in the literature. These games deviate from Hintikka’s original game for evaluating classical first-order formulas by either introducing an explicit reference to a truth value from the unit interval at each game state (as in [4]) or by generalizing to multisets of formulas to ...

Aggregation Operators and Fuzzy OWL

Fuzzy Description Logics (Fuzzy DLs) are logics that allow to deal with structured knowledge affected by fuzziness. Fuzzy DLs are at the heart of Fuzzy OWL 2, a fuzzy version of the standard ontology language OWL 2. Although a relatively important amount of work has been carried out in the last years, fuzzy DLs are open to be extended with several features worked out in other fields. In particu...

Fuzzy Descriptions Logics with Fuzzy Truth Values

Fuzzy Description Logics are a family of logics which allow to deal with structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, current fuzzy DLs are open to be extend with several features worked out in the fuzzy logic literature. In this work, we extend fuzzy DLs with fuzzy truth values, allowing to state sentences su...